<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>LCOV - lcov.info.p - core/contracts/protocol/libraries/logic/src/core/contracts/protocol/libraries/logic/BridgeLogic.sol</title>
  <link rel="stylesheet" type="text/css" href="../../../../../../../../../../../gcov.css">
</head>

<body>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="title">LCOV - code coverage report</td></tr>
            <tr><td class="ruler"><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>

            <tr>
              <td width="100%">
                <table cellpadding=1 border=0 width="100%">
          <tr>
            <td width="10%" class="headerItem">Current view:</td>
            <td width="10%" class="headerValue"><a href="../../../../../../../../../../../index.html">top level</a> - <a href="index.html">core/contracts/protocol/libraries/logic/src/core/contracts/protocol/libraries/logic</a> - BridgeLogic.sol<span style="font-size: 80%;"> (source / <a href="BridgeLogic.sol.func-c.html">functions</a>)</span></td>
            <td width="5%"></td>
            <td width="5%"></td>
            <td width="5%" class="headerCovTableHead">Coverage</td>
            <td width="5%" class="headerCovTableHead" title="Covered + Uncovered code">Total</td>
            <td width="5%" class="headerCovTableHead" title="Exercised code only">Hit</td>
          </tr>
          <tr>
            <td class="headerItem">Test:</td>
            <td class="headerValue">lcov.info.p</td>
            <td></td>
            <td class="headerItem">Lines:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">28</td>
            <td class="headerCovTableEntry">28</td>
          </tr>
          <tr>
            <td class="headerItem">Test Date:</td>
            <td class="headerValue">2024-04-09 14:12:28</td>
            <td></td>
            <td class="headerItem">Functions:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">2</td>
            <td class="headerCovTableEntry">2</td>
          </tr>
          <tr>
            <td></td>
            <td></td>
            <td></td>
            <td class="headerItem">Branches:</td>
            <td class="headerCovTableEntryHi">-</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">0</td>
          </tr>
                  <tr><td><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
                </table>
              </td>
            </tr>

            <tr><td class="ruler"><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
          </table>

          <table cellpadding=0 cellspacing=0 border=0>
            <tr>
              <td><br></td>
            </tr>
            <tr>
              <td>
<pre class="sourceHeading">             Branch data     Line data    Source code</pre>
<pre class="source">
<span id="L1"><span class="lineNum">       1</span>                 :             : // SPDX-License-Identifier: BUSL-1.1</span>
<span id="L2"><span class="lineNum">       2</span>                 :             : pragma solidity ^0.8.10;</span>
<span id="L3"><span class="lineNum">       3</span>                 :             : </span>
<span id="L4"><span class="lineNum">       4</span>                 :             : import {IERC20} from '../../../dependencies/openzeppelin/contracts/IERC20.sol';</span>
<span id="L5"><span class="lineNum">       5</span>                 :             : import {GPv2SafeERC20} from '../../../dependencies/gnosis/contracts/GPv2SafeERC20.sol';</span>
<span id="L6"><span class="lineNum">       6</span>                 :             : import {SafeCast} from '../../../dependencies/openzeppelin/contracts/SafeCast.sol';</span>
<span id="L7"><span class="lineNum">       7</span>                 :             : import {IAToken} from '../../../interfaces/IAToken.sol';</span>
<span id="L8"><span class="lineNum">       8</span>                 :             : import {DataTypes} from '../types/DataTypes.sol';</span>
<span id="L9"><span class="lineNum">       9</span>                 :             : import {UserConfiguration} from '../configuration/UserConfiguration.sol';</span>
<span id="L10"><span class="lineNum">      10</span>                 :             : import {ReserveConfiguration} from '../configuration/ReserveConfiguration.sol';</span>
<span id="L11"><span class="lineNum">      11</span>                 :             : import {WadRayMath} from '../math/WadRayMath.sol';</span>
<span id="L12"><span class="lineNum">      12</span>                 :             : import {PercentageMath} from '../math/PercentageMath.sol';</span>
<span id="L13"><span class="lineNum">      13</span>                 :             : import {Errors} from '../helpers/Errors.sol';</span>
<span id="L14"><span class="lineNum">      14</span>                 :             : import {ValidationLogic} from './ValidationLogic.sol';</span>
<span id="L15"><span class="lineNum">      15</span>                 :             : import {ReserveLogic} from './ReserveLogic.sol';</span>
<span id="L16"><span class="lineNum">      16</span>                 :             : </span>
<span id="L17"><span class="lineNum">      17</span>                 :             : library BridgeLogic {</span>
<span id="L18"><span class="lineNum">      18</span>                 :             :   using ReserveLogic for DataTypes.ReserveCache;</span>
<span id="L19"><span class="lineNum">      19</span>                 :             :   using ReserveLogic for DataTypes.ReserveData;</span>
<span id="L20"><span class="lineNum">      20</span>                 :             :   using UserConfiguration for DataTypes.UserConfigurationMap;</span>
<span id="L21"><span class="lineNum">      21</span>                 :             :   using ReserveConfiguration for DataTypes.ReserveConfigurationMap;</span>
<span id="L22"><span class="lineNum">      22</span>                 :             :   using WadRayMath for uint256;</span>
<span id="L23"><span class="lineNum">      23</span>                 :             :   using PercentageMath for uint256;</span>
<span id="L24"><span class="lineNum">      24</span>                 :             :   using SafeCast for uint256;</span>
<span id="L25"><span class="lineNum">      25</span>                 :             :   using GPv2SafeERC20 for IERC20;</span>
<span id="L26"><span class="lineNum">      26</span>                 :             : </span>
<span id="L27"><span class="lineNum">      27</span>                 :             :   // See `IPool` for descriptions</span>
<span id="L28"><span class="lineNum">      28</span>                 :             :   event ReserveUsedAsCollateralEnabled(address indexed reserve, address indexed user);</span>
<span id="L29"><span class="lineNum">      29</span>                 :             :   event MintUnbacked(</span>
<span id="L30"><span class="lineNum">      30</span>                 :             :     address indexed reserve,</span>
<span id="L31"><span class="lineNum">      31</span>                 :             :     address user,</span>
<span id="L32"><span class="lineNum">      32</span>                 :             :     address indexed onBehalfOf,</span>
<span id="L33"><span class="lineNum">      33</span>                 :             :     uint256 amount,</span>
<span id="L34"><span class="lineNum">      34</span>                 :             :     uint16 indexed referralCode</span>
<span id="L35"><span class="lineNum">      35</span>                 :             :   );</span>
<span id="L36"><span class="lineNum">      36</span>                 :             :   event BackUnbacked(address indexed reserve, address indexed backer, uint256 amount, uint256 fee);</span>
<span id="L37"><span class="lineNum">      37</span>                 :             : </span>
<span id="L38"><span class="lineNum">      38</span>                 :             :   /**</span>
<span id="L39"><span class="lineNum">      39</span>                 :             :    * @notice Mint unbacked aTokens to a user and updates the unbacked for the reserve.</span>
<span id="L40"><span class="lineNum">      40</span>                 :             :    * @dev Essentially a supply without transferring the underlying.</span>
<span id="L41"><span class="lineNum">      41</span>                 :             :    * @dev Emits the `MintUnbacked` event</span>
<span id="L42"><span class="lineNum">      42</span>                 :             :    * @dev Emits the `ReserveUsedAsCollateralEnabled` if asset is set as collateral</span>
<span id="L43"><span class="lineNum">      43</span>                 :             :    * @param reservesData The state of all the reserves</span>
<span id="L44"><span class="lineNum">      44</span>                 :             :    * @param reservesList The addresses of all the active reserves</span>
<span id="L45"><span class="lineNum">      45</span>                 :             :    * @param userConfig The user configuration mapping that tracks the supplied/borrowed assets</span>
<span id="L46"><span class="lineNum">      46</span>                 :             :    * @param asset The address of the underlying asset to mint aTokens of</span>
<span id="L47"><span class="lineNum">      47</span>                 :             :    * @param amount The amount to mint</span>
<span id="L48"><span class="lineNum">      48</span>                 :             :    * @param onBehalfOf The address that will receive the aTokens</span>
<span id="L49"><span class="lineNum">      49</span>                 :             :    * @param referralCode Code used to register the integrator originating the operation, for potential rewards.</span>
<span id="L50"><span class="lineNum">      50</span>                 :             :    *   0 if the action is executed directly by the user, without any middle-man</span>
<span id="L51"><span class="lineNum">      51</span>                 :             :    */</span>
<span id="L52"><span class="lineNum">      52</span>                 :<span class="tlaGNC tlaBgGNC">          16 :   function executeMintUnbacked(</span></span>
<span id="L53"><span class="lineNum">      53</span>                 :             :     mapping(address =&gt; DataTypes.ReserveData) storage reservesData,</span>
<span id="L54"><span class="lineNum">      54</span>                 :             :     mapping(uint256 =&gt; address) storage reservesList,</span>
<span id="L55"><span class="lineNum">      55</span>                 :             :     DataTypes.UserConfigurationMap storage userConfig,</span>
<span id="L56"><span class="lineNum">      56</span>                 :             :     address asset,</span>
<span id="L57"><span class="lineNum">      57</span>                 :             :     uint256 amount,</span>
<span id="L58"><span class="lineNum">      58</span>                 :             :     address onBehalfOf,</span>
<span id="L59"><span class="lineNum">      59</span>                 :             :     uint16 referralCode</span>
<span id="L60"><span class="lineNum">      60</span>                 :             :   ) external {</span>
<span id="L61"><span class="lineNum">      61</span>                 :<span class="tlaGNC">          32 :     DataTypes.ReserveData storage reserve = reservesData[asset];</span></span>
<span id="L62"><span class="lineNum">      62</span>                 :<span class="tlaGNC">          48 :     DataTypes.ReserveCache memory reserveCache = reserve.cache();</span></span>
<span id="L63"><span class="lineNum">      63</span>                 :             : </span>
<span id="L64"><span class="lineNum">      64</span>                 :<span class="tlaGNC">          32 :     reserve.updateState(reserveCache);</span></span>
<span id="L65"><span class="lineNum">      65</span>                 :             : </span>
<span id="L66"><span class="lineNum">      66</span>                 :<span class="tlaGNC">          32 :     ValidationLogic.validateSupply(reserveCache, reserve, amount, onBehalfOf);</span></span>
<span id="L67"><span class="lineNum">      67</span>                 :             : </span>
<span id="L68"><span class="lineNum">      68</span>                 :<span class="tlaGNC">          48 :     uint256 unbackedMintCap = reserveCache.reserveConfiguration.getUnbackedMintCap();</span></span>
<span id="L69"><span class="lineNum">      69</span>                 :<span class="tlaGNC">          48 :     uint256 reserveDecimals = reserveCache.reserveConfiguration.getDecimals();</span></span>
<span id="L70"><span class="lineNum">      70</span>                 :             : </span>
<span id="L71"><span class="lineNum">      71</span>                 :<span class="tlaGNC">          48 :     uint256 unbacked = reserve.unbacked += amount.toUint128();</span></span>
<span id="L72"><span class="lineNum">      72</span>                 :             : </span>
<span id="L73"><span class="lineNum">      73</span>                 :<span class="tlaGNC">          32 :     require(</span></span>
<span id="L74"><span class="lineNum">      74</span>                 :             :       unbacked &lt;= unbackedMintCap * (10 ** reserveDecimals),</span>
<span id="L75"><span class="lineNum">      75</span>                 :             :       Errors.UNBACKED_MINT_CAP_EXCEEDED</span>
<span id="L76"><span class="lineNum">      76</span>                 :             :     );</span>
<span id="L77"><span class="lineNum">      77</span>                 :             : </span>
<span id="L78"><span class="lineNum">      78</span>                 :<span class="tlaGNC">          28 :     reserve.updateInterestRatesAndVirtualBalance(reserveCache, asset, 0, 0);</span></span>
<span id="L79"><span class="lineNum">      79</span>                 :             : </span>
<span id="L80"><span class="lineNum">      80</span>                 :<span class="tlaGNC">          42 :     bool isFirstSupply = IAToken(reserveCache.aTokenAddress).mint(</span></span>
<span id="L81"><span class="lineNum">      81</span>                 :             :       msg.sender,</span>
<span id="L82"><span class="lineNum">      82</span>                 :             :       onBehalfOf,</span>
<span id="L83"><span class="lineNum">      83</span>                 :             :       amount,</span>
<span id="L84"><span class="lineNum">      84</span>                 :             :       reserveCache.nextLiquidityIndex</span>
<span id="L85"><span class="lineNum">      85</span>                 :             :     );</span>
<span id="L86"><span class="lineNum">      86</span>                 :             : </span>
<span id="L87"><span class="lineNum">      87</span>                 :<span class="tlaGNC">          14 :     if (isFirstSupply) {</span></span>
<span id="L88"><span class="lineNum">      88</span>                 :             :       if (</span>
<span id="L89"><span class="lineNum">      89</span>                 :<span class="tlaGNC">          14 :         ValidationLogic.validateAutomaticUseAsCollateral(</span></span>
<span id="L90"><span class="lineNum">      90</span>                 :             :           reservesData,</span>
<span id="L91"><span class="lineNum">      91</span>                 :             :           reservesList,</span>
<span id="L92"><span class="lineNum">      92</span>                 :             :           userConfig,</span>
<span id="L93"><span class="lineNum">      93</span>                 :             :           reserveCache.reserveConfiguration,</span>
<span id="L94"><span class="lineNum">      94</span>                 :             :           reserveCache.aTokenAddress</span>
<span id="L95"><span class="lineNum">      95</span>                 :             :         )</span>
<span id="L96"><span class="lineNum">      96</span>                 :             :       ) {</span>
<span id="L97"><span class="lineNum">      97</span>                 :<span class="tlaGNC">          14 :         userConfig.setUsingAsCollateral(reserve.id, true);</span></span>
<span id="L98"><span class="lineNum">      98</span>                 :<span class="tlaGNC">          14 :         emit ReserveUsedAsCollateralEnabled(asset, onBehalfOf);</span></span>
<span id="L99"><span class="lineNum">      99</span>                 :             :       }</span>
<span id="L100"><span class="lineNum">     100</span>                 :             :     }</span>
<span id="L101"><span class="lineNum">     101</span>                 :             : </span>
<span id="L102"><span class="lineNum">     102</span>                 :<span class="tlaGNC">          28 :     emit MintUnbacked(asset, msg.sender, onBehalfOf, amount, referralCode);</span></span>
<span id="L103"><span class="lineNum">     103</span>                 :             :   }</span>
<span id="L104"><span class="lineNum">     104</span>                 :             : </span>
<span id="L105"><span class="lineNum">     105</span>                 :             :   /**</span>
<span id="L106"><span class="lineNum">     106</span>                 :             :    * @notice Back the current unbacked with `amount` and pay `fee`.</span>
<span id="L107"><span class="lineNum">     107</span>                 :             :    * @dev It is not possible to back more than the existing unbacked amount of the reserve</span>
<span id="L108"><span class="lineNum">     108</span>                 :             :    * @dev Emits the `BackUnbacked` event</span>
<span id="L109"><span class="lineNum">     109</span>                 :             :    * @param reserve The reserve to back unbacked for</span>
<span id="L110"><span class="lineNum">     110</span>                 :             :    * @param asset The address of the underlying asset to repay</span>
<span id="L111"><span class="lineNum">     111</span>                 :             :    * @param amount The amount to back</span>
<span id="L112"><span class="lineNum">     112</span>                 :             :    * @param fee The amount paid in fees</span>
<span id="L113"><span class="lineNum">     113</span>                 :             :    * @param protocolFeeBps The fraction of fees in basis points paid to the protocol</span>
<span id="L114"><span class="lineNum">     114</span>                 :             :    * @return The backed amount</span>
<span id="L115"><span class="lineNum">     115</span>                 :             :    */</span>
<span id="L116"><span class="lineNum">     116</span>                 :<span class="tlaGNC">           9 :   function executeBackUnbacked(</span></span>
<span id="L117"><span class="lineNum">     117</span>                 :             :     DataTypes.ReserveData storage reserve,</span>
<span id="L118"><span class="lineNum">     118</span>                 :             :     address asset,</span>
<span id="L119"><span class="lineNum">     119</span>                 :             :     uint256 amount,</span>
<span id="L120"><span class="lineNum">     120</span>                 :             :     uint256 fee,</span>
<span id="L121"><span class="lineNum">     121</span>                 :             :     uint256 protocolFeeBps</span>
<span id="L122"><span class="lineNum">     122</span>                 :             :   ) external returns (uint256) {</span>
<span id="L123"><span class="lineNum">     123</span>                 :<span class="tlaGNC">          27 :     DataTypes.ReserveCache memory reserveCache = reserve.cache();</span></span>
<span id="L124"><span class="lineNum">     124</span>                 :             : </span>
<span id="L125"><span class="lineNum">     125</span>                 :<span class="tlaGNC">          18 :     reserve.updateState(reserveCache);</span></span>
<span id="L126"><span class="lineNum">     126</span>                 :             : </span>
<span id="L127"><span class="lineNum">     127</span>                 :<span class="tlaGNC">          27 :     uint256 backingAmount = (amount &lt; reserve.unbacked) ? amount : reserve.unbacked;</span></span>
<span id="L128"><span class="lineNum">     128</span>                 :             : </span>
<span id="L129"><span class="lineNum">     129</span>                 :<span class="tlaGNC">          27 :     uint256 feeToProtocol = fee.percentMul(protocolFeeBps);</span></span>
<span id="L130"><span class="lineNum">     130</span>                 :<span class="tlaGNC">          27 :     uint256 feeToLP = fee - feeToProtocol;</span></span>
<span id="L131"><span class="lineNum">     131</span>                 :<span class="tlaGNC">          27 :     uint256 added = backingAmount + fee;</span></span>
<span id="L132"><span class="lineNum">     132</span>                 :             : </span>
<span id="L133"><span class="lineNum">     133</span>                 :<span class="tlaGNC">          18 :     reserveCache.nextLiquidityIndex = reserve.cumulateToLiquidityIndex(</span></span>
<span id="L134"><span class="lineNum">     134</span>                 :             :       IERC20(reserveCache.aTokenAddress).totalSupply() +</span>
<span id="L135"><span class="lineNum">     135</span>                 :             :         uint256(reserve.accruedToTreasury).rayMul(reserveCache.nextLiquidityIndex),</span>
<span id="L136"><span class="lineNum">     136</span>                 :             :       feeToLP</span>
<span id="L137"><span class="lineNum">     137</span>                 :             :     );</span>
<span id="L138"><span class="lineNum">     138</span>                 :             : </span>
<span id="L139"><span class="lineNum">     139</span>                 :<span class="tlaGNC">          18 :     reserve.accruedToTreasury += feeToProtocol.rayDiv(reserveCache.nextLiquidityIndex).toUint128();</span></span>
<span id="L140"><span class="lineNum">     140</span>                 :             : </span>
<span id="L141"><span class="lineNum">     141</span>                 :<span class="tlaGNC">          18 :     reserve.unbacked -= backingAmount.toUint128();</span></span>
<span id="L142"><span class="lineNum">     142</span>                 :<span class="tlaGNC">          18 :     reserve.updateInterestRatesAndVirtualBalance(reserveCache, asset, added, 0);</span></span>
<span id="L143"><span class="lineNum">     143</span>                 :             : </span>
<span id="L144"><span class="lineNum">     144</span>                 :<span class="tlaGNC">          18 :     IERC20(asset).safeTransferFrom(msg.sender, reserveCache.aTokenAddress, added);</span></span>
<span id="L145"><span class="lineNum">     145</span>                 :             : </span>
<span id="L146"><span class="lineNum">     146</span>                 :<span class="tlaGNC">          18 :     emit BackUnbacked(asset, msg.sender, backingAmount, fee);</span></span>
<span id="L147"><span class="lineNum">     147</span>                 :             : </span>
<span id="L148"><span class="lineNum">     148</span>                 :<span class="tlaGNC">          18 :     return backingAmount;</span></span>
<span id="L149"><span class="lineNum">     149</span>                 :             :   }</span>
<span id="L150"><span class="lineNum">     150</span>                 :             : }</span>
        </pre>
              </td>
            </tr>
          </table>
          <br>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="ruler"><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
            <tr><td class="versionInfo">Generated by: <a href="https://github.com//linux-test-project/lcov" target="_parent">LCOV version 2.0-1</a></td></tr>
          </table>
          <br>

</body>
</html>
